<?php
if (isset($_SESSION['ID'])) {
    $ID_LOGADO = $_SESSION['ID'];
    $PERMISSAO = $_SESSION['PERMISSAO'];
}
?>
<!DOCTYPE html>
<html>
    <head>
        <title>TODO supply a title</title>
        <meta charset="UTF-8">
        <link href="Styles/CSS.css" rel="stylesheet" type="text/css"/>
        <meta name="viewport" content="width=device-width, initial-scale=1.0">
    </head>
    <body>
        <ul id="menuLateral">
            <li>
                <a href="Novidades.php">Avisos</a>
            </li>
            <li>
                <a href="proprios-avisos.php">Meus Avisos</a>
            </li>
            <li>
                <a href="cadastro_instituicao.php">Adicionar Instituição</a>
            </li>
            <li>
            <a href = "visualizar_instituicao.php?pagina=0">Visualizar Instituição</a>
            </li>
            <li>
                <a href="visualizar_aluno.php">Alunos</a>
            </li>
            <?php
            if ($PERMISSAO > 1) {
                ?>
                <li>
                    <a href="visualizar_servidor.php">Servidores</a>
                </li>
                <li>
                    <a href="alterar_servidor.php?ID=<?php echo "$ID_LOGADO" ?>">Editar Informações</a>
                </li>
                <?php
            } else {
                ?>
                <li>
                    <a href="alterar_aluno.php?ID=<?php echo "$ID_LOGADO" ?>">Editar Informações</a>
                </li>

                <?php
            }
            ?>
            <li>
                <a href="publicar.php">Publicar</a>
            </li>
            <li>
                <a href="operacoesPHP/SessionDestroy.php">Sair</a>
            </li>
        </ul>
    </body>
</html>